Randnotizen vom ICM 2010 in Hyderabad Günter M. Ziegler P=NP ? Knapp zwei Wochen vor dem Kongress hatte der Inder Vinay Deolalikar (HP Labs, Palo Alto) einen 102seitigen Beweisversuch von „P = NP“ vorgelegt, der v

Source URL: page.math.tu-berlin.de

Open Innovation @ HP Labs

Source URL: openinnovation.berkeley.edu

• Hewlett-Packard
• Innovation
• HP Labs
• Computing
• Technology
• Computer hardware

Open Innovation at HP Labs Fueling the next generation of breakthroughs in Information Technology

Source URL: openinnovation.berkeley.edu

• Computer hardware
• HP Labs
• Innovation
• Indigo Digital Press
• HP Enterprise Business
• HP ExpertONE
• Hewlett-Packard
• Computing
• Technology

Large-scale Parallel Collaborative Filtering for the Netflix Prize Yunhong Zhou, Dennis Wilkinson, Robert Schreiber and Rong Pan HP Labs, 1501 Page Mill Rd, Palo Alto, CA, 94304 {yunhong.zhou, dennis.wilkinson, rob.schre

Source URL: www.hpl.hp.com

• Matrix theory
• Crowdsourcing
• Netflix Prize
• Multivariate statistics
• Singular value decomposition
• Netflix
• Recommender system
• Collaborative filtering
• Non-negative matrix factorization
• Algebra
• Mathematics
• Linear algebra

Nick Wainwright HP Labs / Effectsplus project The report of a consultation of the Future Internet Assembly – a cross disciplinary assembly of researchers – on the research

Source URL: www.future-internet.eu

• Internet
• New media
• Scientific revolution
• Virtual reality
• Smart system
• Ambient intelligence
• Cloud computing
• Science
• Knowledge
• Digital technology
• Media technology
• Technology

Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.

Source URL: www.markrtuttle.com

• Theoretical computer science
• Instruction set architectures
• Computer memory
• Parallel computing
• Cache coherency
• Model checking
• CPU cache
• Formal verification
• Communications protocol
• Computing
• Computer architecture
• Computer hardware

Specifying and Verifying Systems With TLA+ Leslie Lamport Microsoft Research John Matthews HP Labs

Source URL: www.markrtuttle.com

• Information
• Theoretical computer science
• Model checking
• Formal methods
• Temporal logic of actions
• Temporal logic
• Leslie Lamport
• Specification language
• Communications protocol
• Concurrency
• Computing
• Computer science

Large-scale Parallel Collaborative Filtering for the Netflix Prize Yunhong Zhou, Dennis Wilkinson, Robert Schreiber and Rong Pan HP Labs, 1501 Page Mill Rd, Palo Alto, CA, 94304 {yunhong.zhou, dennis.wilkinson, rob.schre

Source URL: www.hpl.hp.com

• Matrix theory
• Crowdsourcing
• Netflix Prize
• Multivariate statistics
• Singular value decomposition
• Netflix
• Recommender system
• Collaborative filtering
• Non-negative matrix factorization
• Algebra
• Mathematics
• Linear algebra

Mind the Gap: Reconnecting Architecture and OS Research Jeffrey C. Mogul [removed] HP Labs, Palo Alto, CA Andrew Baumann

Source URL: www.barrelfish.org

• Central processing unit
• X86 architecture
• CPU cache
• Cache
• Computer memory
• Kernel
• X86-64
• Google Chrome OS
• Operating system
• System software
• Software
• Computer architecture

Rhythms of social interaction: messaging within a massive online network Scott Golder, Dennis Wilkinson, and Bernardo Huberman HP Labs, 1501 Page Mill Rd., Palo Alto, CA[removed]Correspondence: [removed]

Source URL: www.redlog.net

• Online chat
• Web 2.0
• Social information processing
• Blog hosting services
• Android software
• Facebook
• Text messaging
• Instant messaging
• Social networking service
• Computing
• Technology
• World Wide Web